analysis and synthesis of a compiler